Nuprl Definition : w-isnull 0,22

isnull(a) == isl(a) 
latex



clarification:

w-isnull(w; a) == isl(a) 
latex


Definitionsisl(x)
FDL editor aliasesw-isnull

origin